how to deploy war file in tomcat using jenkinsfile